Project-Team:TEA

Project-Team Tea

Members

Overall Objectives

Introduction
Motivations
Challenge

Research Program

State of the Art
Modelling Time
Modelling Architectures
Time Scheduling
Virtual Prototyping
Research Objectives

Application Domains

Application Domains

New Software and Platforms

The Eclipse project POP
Integrated Modular Avionics design using Polychrony
Safety-Critical Java Level 1 Code generation from Dataflow Graph Specifications

New Results

Highlights of the Year
Priority-Driven Scheduling of Static Dataflow Graphs through Time Abstraction
Formal Verification of a Synchronous Data-flow Compiler: from Signal to C
Ongoing integration of Polychrony with the P toolset
A synchronous annex for the AADL
New features of Polychrony
Optimized Distribution of Synchronous Programs via a Polychronous Model
Component-based Design of Multi-rate Systems

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

National Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries

Bibliography

Major publications
Publications of the year

Inria | Raweb 2014 | Presentation of the Project-Team TEA


	PDF	e-Pub

Previous |

Home | Next next

Section: Partnerships and Cooperations

International Research Visitors

Visits to International Teams

Research stays abroad

Jean-Pierre Talpin was awarded a visiting researcher grant by the US Air Force Research Laboratories for collaborative research with the Virginia Tech Research Laboratories. In this context, he visited the Arlington and Falls Church VT campuses in Spring, Summer and Fall 2014 for a duration of two and a half months.

Previous |

Home | Next next